#ifndef _GUI_H_
#define _GUI_H_
void desc(void);
void states_desc(void);
void proper_using(void);
void fprint_tape(int *tape, int tape_lgt, FILE *out);
void inst_desc(int *tape, int tape_lgt, int crpos, int state, FILE *out);
#endif
